windowManager: Skip disposed windows in _switchWorkspaceDone

Avoid reparenting already disposed windows.

https://bugzilla.gnome.org/show_bug.cgi?id=639853

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 5bd14e49982bb9c477ac0ac5306018c4206874b8..447e4796efec4ed762383a56dd6eb0d9d651df1a 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -497,6 +497,8 @@ WindowManager.prototype = {
 
         for (let i = 0; i < switchData.windows.length; i++) {
                 let w = switchData.windows[i];
+                if (w.window.is_destroyed()) // Window gone
+                    continue;
                 if (w.window.get_parent() == switchData.outGroup) {
                     w.window.reparent(w.parent);
                     w.window.hide();